//#include "foo.h"
#include "awtk_tkc.h"

int main(int argc, char* argv[]) {
  platform_prepare();
  //log_debug("result: %s\n", aidl_2_json_converter_convert(aidl_file));

  return 0;
}
